$\forall$$i$:Id, $L$:(Knd List), $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]@$i$: only $L$ sends on ($l$ with ${\it tg}$) 
\\[0ex]realizes ${\it es}$.
\\[0ex]$\forall$$e$:E. (loc($e$) = $i$ $\in$ Id) $\Rightarrow$ ($\neg$($\uparrow$null(sends($l$,${\it tg}$,$e$)))) $\Rightarrow$ (kind($e$) $\in$ $L$)